581. Abstract state machines, B and Z

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: B method (Computer science) ; Congresses. ; Machine theory ; Congresses. ; Z (Computer program language) ; Congresses. ;

582. Abstract state machines, alloy, B and Z

Author:

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: Machine theory, Congresses,B method (Computer science), Congresses,Z (Computer program language), Congresses,Machine learning, Congresses

Classification :
QA267
.
A29
2010

583. Abstract state machines, alloy, B and Z : second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings

Author:

Library: Library of Razi Metallurgical Research Center (Tehran)

Subject: Congresses ، Machine theory,Congresses ، B method )Computer science(,Congresses ، Z )Computer program language(

Classification :
QA
267
.
A26
2010

584. Abstraction, reformulation, and approximation

Author:

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Computer science--Congresses,Artificial intelligence--Congresses

Classification :
QA
,
75
.
5
,.
S27
,
2007

585. Abstraction, reformulation, and approximation

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Computer science ; Congresses. ; Artificial intelligence ; Congresses. ;

586. Abstraction, reformulation and approximation : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005 : proceedings

Author:

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer science,Congresses ، Artificial intelligence

Classification :
QA
76
.
L28
Vol
.
3607

587. Abstraction, reformulation, and approximation : 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002 : proceedings

Author:

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer science,Congresses ، Artificial intelligence

Classification :
QA
76
.
L28
Vol
.
2371

588. Abstraction, reformulation, and approximation : 4th international symposium, SARA 2000, Lake LBJ, Texas, USA, July 26-29, 2000 : proceedings

Author:

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer science,Congresses ، Artificial intelligence

Classification :
QA
76
.
L28
Vol
.
1864

589. Abstracts : First International Computer Conference in Science, technology and Medicine , December 26-28 1991 ...

Author:

Library: Central Library and Document Center of Isfahan University (Esfahan)

Subject: Computer science -- Congresses

Classification :
I61a

590. Abstracts : First International Computer Conference in Science, technology and Medicine , December 26-28 1991 ...

Author:

Library: Central Library and Document Center of Isfahan University (Esfahan)

Subject: Computer science -- Congresses

Classification :
I61a

591. Abstracts : First International Computer Conference in Science, technology and Medicine , December 26-28 1991 ...

Author:

Library: Central Library and Document Center of Isfahan University (Esfahan)

Subject: Computer science -- Congresses

Classification :
I61a

592. Abstracts : First International Computer Conference in Science, technology and Medicine , December 26-28 1991 ...

Author:

Library: Central Library and Document Center of Isfahan University (Esfahan)

Subject: Computer science -- Congresses

Classification :
I61a

593. Abstracts : First International Computer Conference in Science, technology and Medicine , December 26-28 1991 ...

Author:

Library: Central Library and Document Center of Isfahan University (Esfahan)

Subject: Computer science -- Congresses

Classification :
I61a

594. Abstracts : First International Computer Conference in Science, technology and Medicine , December 26-28 1991 ...

Author:

Library: Central Library and Document Center of Isfahan University (Esfahan)

Subject: Computer science -- Congresses

Classification :
I61a

595. Abstracts : First International Computer Conference in Science, technology and Medicine , December 26-28 1991 ...

Author:

Library: Central Library and Document Center of Isfahan University (Esfahan)

Subject: Computer science -- Congresses

Classification :
I61a

596. Abstracts : First International Computer Conference in Science, technology and Medicine , December 26-28 1991 ...

Author:

Library: Central Library and Document Center of Isfahan University (Esfahan)

Subject: Computer science -- Congresses

Classification :
I61a

597. Abstracts : First International Computer Conference in Science, technology and Medicine , December 26-28 1991 ...

Author:

Library: Central Library and Document Center of Isfahan University (Esfahan)

Subject: Computer science -- Congresses

Classification :
I61a

598. Abstracts : First International Computer Conference in Science, technology and Medicine , December 26-28 1991 ...

Author:

Library: Central Library and Document Center of Isfahan University (Esfahan)

Subject: Computer science -- Congresses

Classification :
I61a

599. Abusing the Internet of Things : Blackouts, Freakouts, and Stakeouts

Author:

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY

Classification :
E-BOOK

600. Accelerated C# 2008

Author:

Library: Library of Razi Metallurgical Research Center (Tehran)

Subject: ، Programming,، Computer science

Classification :
TA
410
.
N36
2008